Shabaldina N. V. , Akenshina E.A. «TEST SUITES DERIVATION FOR NONDETERMINISTIC FINITE STATE MASHINES WITH RESPECT TO THE SEPARABILITY RELATION » // 2009. №3(5) C.106-111
Shabaldina Natalia V. «Studing non-separability relation for non-deterministic finite statemachines with time-outs» // 2011. №3(16) C.108-115
